extra tests for errors
framework for macro expansions