(* testing repeat stmts *) a,b : int; main(): void { c: char; { b = 10; repeat a = 3 until (c); repeat a = 3 until (10) } }