use raw stdio in benchmark