Symbol: check_valid_pointer