debug_push        463 attr.c         #define debug_push(a) debug_info("push", (a))
debug_push        466 attr.c         #define debug_push(a) do { ; } while (0)