Block scope in macros is verified