#include <perms.h>

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

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

  //     2    %predicate fred(%integer i)

  int FRED(int I) {
    //     3      %true %if i = 1

    if (I != 1) goto L_0001;
    return 1 /*TRUE*/;
  L_0001:;

  //     4      %false

    return 0 /*FALSE*/;

    //     5    %end

  } /* end of FRED */

  //     6    %if fred(1) %then %stop

  if (!(FRED(1))) goto L_0002;
  _imp_stop(0);
L_0002:;

//     7    %unless fred(1) %then %stop

  if (FRED(1)) goto L_0003;
  _imp_stop(0);
L_0003:;

//     8  %endofprogram

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