#include <perms.h>

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

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

  //     2
  //     3  ! This is what works and is recommended:
  //     4
  //     5  ! %record(*)%name nil=0
  //     6
  //     7
  //     8  ! However this is accepted by Imp77 and should be equivalent.
  //     9  ! Generates bad syntax when converted to C:
  //    10
  //    11  %record(*)%name nil==record(0)

  struct FILE *NIL;
  NIL = (/*BUG: recordformat <0>*/ void *)_imp_RECORD(0);

  //    12
  //    13  %endofprogram

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