#lang ivy1.7

type t


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