x32-pointers
