Hi Paulo,
this is a feature request to either make stderr (instead of stdout) the disassembler output stream or to make it customizable.
Currently, we have
#define disasm_stream stdout
in jit_disasm.c.
Especially for debugging programs that work as a pipe from stdin to stdout, it is important not to have the output cluttered with disassembly info.
Thanks,
Marc