ちなみにvoid do_one(FILE *); のdo_oneというのはprintfと
同じでそのまま出力されるんですか?戻り値なしで