Symbol: ctrl_is_pointer