tests/test.xtm pretty printing