typecheck ptr