(* This nonsense file provides a test for 
   the Juno pretty-printer. *)

CONST A = 10, B = 20, C = 30;

VAR a := 10, b := 20, c := 30;

(* Here is a very long comment. The pretty 
   printer should automatically wrap words 
   to make it fit in a narrow window. *)

PRED Foo(a, b, c, d, e, f, g, h, i) IS 
  TRUE AND TRUE AND TRUE AND TRUE 
END;

FUNC 
  res = Bar(a, b, c, d, e, f, g, h, i) IS 
  res = 0 
END;

PROC 
  out1, out2, out3, out4, out5 := 
    (inout1, inout2, inout3, inout4, inout5):P(in1, 
                                               in2, 
                                               in3, 
                                               in4, 
                                               in5) IS 
  IF 
    Foo(inout1, inout2, inout3, inout4, 
        inout5, in1, in2, in3, in4) -> SKIP 
  FI 
END;