Huh :-/ Where's the IO used then?