Structure of an IO program