#include <perms.h>

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

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

  //     2    %integername ptr

  int *PTR;

  //     3    %integer value

  int VALUE;

  //     4    %if ptr = value %then %stop

  if (*PTR != VALUE) goto L_0001;
  _imp_stop(0);
L_0001:;

//     5  %endofprogram

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