Symbol: examine_pointer_target