fix bounds checking in get_register_pointer()