printfで、0x0000f1f2のような書式にする。