Symbol: typecheck_pointer