#include <perms.h>

                                                                //      1  %begin
int main(int argc, char **argv) {
  _imp_initialise(argc, argv);
                                                                //      2    %predicate even(%integer i)
int /*Boolean*/ EVEN( int I )
{
                                                                //      3      %false %if i&1 # 0
if (((((I) & (1))) == (0))) goto L_0002;
/* Remove %on %event handler here if present for this block */
return 0;
L_0002:;
                                                                //      4      %true
/* Remove %on %event handler here if present for this block */
return 1;
                                                                //      5    %end
} // End of block EVEN at level 2
                                                                //      6  
                                                                //      7    %if even(42) %start
if (!(EVEN(42))) goto L_0003;
                                                                //      8      print string("simple predicate test OK")
_imp_PRINTSTRING(_imp_str_literal("simple predicate test OK"));
                                                                //      9    %finish %else %start
goto L_0004;
L_0003:;
                                                                //     10      print string("simple predicate test FAIL")
_imp_PRINTSTRING(_imp_str_literal("simple predicate test FAIL"));
                                                                //     11    %finish
L_0004:;
                                                                //     12    newline
_imp_NEWLINE();
                                                                //     13  
                                                                //     14  %end %of %program
/* Remove %on %event handler here if present for this block */
return 0;
} // End of block _imp_main at level 1
// End of file