introduce restricted pointer aliasing marker