(*
 * This file has one error on line 19.
 *)

op o (k:integer)->(j:integer,b:boolean) = (
    let x = 10;
    let y = 10;
    (o(x);
     let j = o2(k,k*10).j;
     let b = o2(k,k*10).b;
				(* The immediately following comment is bogus
				   now, since the let ( , ... , ) form is now
				   gone. *)
     {x+j,b})			(* This is optional; the let on j,b defines
				 * output values satisfactorily (if those are
				 * the values we want, of course). *)
);

op o2(i:integer,j:integer)->(j:integer,b:boolean) =
    if i=j then {i,i!=j} else {j, i=j};