use stdio