(genCodePointerGet): quicker code for bug #700797