あっ、ヤベェ・・・いきなり重大なバグ出してら
×　foo("\x10\x09".as_ptr());
○　foo("\x10\x00\x00\x00\x09\x00\x00\x00".as_ptr());
こうだよな
標準で[16: i32, 9: i32]を"\x10\x00\x00\x00\x09\x00\x00\x00"に変換してくれるようなのが欲しい