Listing 1

module storage {
   interface textfile {
      void readln(
        inout short pos, 
        out string line
      );
      void writeln(
        inout short pos,
        in string line
      );
      int get_pos();  
   };
};