emul_utp.c: manually tweak the output of indent