#define ENTER push_scope()
#define LEAVE pop_scope()