#include <perms.h>

//          Edinburgh IMP77 Compiler - Version 8.4
//
//     1  %begin

int main(int argc, char **argv) { /*%begin*/
  _imp_initialise(argc, argv);

  //     2     %integerfn twice(%integer x)

  int TWICE(int X) {
    //     3       %result = x+x

    return X + X;

    //     4     %end

  } /* end of TWICE */

  //     5     %integer j

  int J;

  //     6     j = twice(21)

  J = TWICE(21);

  //     7  %endofprogram

  _imp_stop(0);
  return 0;
end_0:;
}