         Edinburgh IMP77 Compiler - Version 8.4

    1  %begin
    2    %predicate even(%integer i)
    3      %false %if i&1 # 0
    4      %true
    5    %end
    6  
    7    %if even(42) %start
    8      print string("simple predicate test OK")
    9    %finish %else %start
   10      print string("simple predicate test FAIL")
   11    %finish
   12    newline
   13  
   14  %end %of %program

   12 Statements compiled
