rewind(), scanf() specification