Refine DBGOUT

TODO: Support %p format in printf