use stdio(3)