typecheck_pointer
typecheck_pointer(_reg_p); \
typecheck_pointer(*(addr)); \
typecheck_pointer(ptr); \