On 19 Nov 2015, at 17:49, Quentin Colombet <qcolombet at apple.com> wrote: > > I must miss something, but I don’t get what is the problem of lower the pointer to actual integer. Pointers, in our architecture, are not integers. David