Numeral1

type t = struct {
}

var x : t

action a = {
    x := 0
}

export a