All right! Then std io is actually used in the file :)