(* TEST: [-asc -tc -cg -ir] *) #include "std.alpha" entry (arg) := { [Boolean:b; Boolean: c; Boolean: d] c := true; d := false; d := c | d; return 1; }