TAP-Y/J Output Formats for MiniTest