Ite1

type t


action a(x:t) = {
     x := (pout.val) if true else 0;
}