exhaustive tests for untyped macros