#include <perms.h>

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

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

  //     2
  //     3    %routine top level 1(%integer depth)

  void TOPLEVEL1(int DEPTH) {
    //     4
    //     5     print string("Entering call of top level 1: depth = "); printstring(itos(depth, -1)); newline

    _imp_PRINTSTRING(_imp_str_literal("Entering call of top level 1: depth = "));
    _imp_PRINTSTRING(
        *({
          __typeof__(_imp_string255) tmp = _imp_ITOS(DEPTH, -1) /*q*/;
          (_imp_string255 *)&tmp;
        })
    );
    _imp_NEWLINE();

    //     6
    //     7    %end

    return;
  } /* end of TOPLEVEL1 */

  //     8
  //     9    top level 1(10)

  TOPLEVEL1(10);

  //    10
  //    11  %endofprogram

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