Comprehending Proc Macros