Ah, I see, that was a mistake. I intended for 8xvtoasm to write its output by default to an asm file, exactly the opposite of what asmto8xv does, but it doesn't - it writes to standard output by default. Unless anybody objects, I'll change that behavior in the next version.