marking on both input and output from macros. nice shiny new test case framework