fn when_tuple(a: (Int, Int)) -> Int { when a is { (a, b) -> a } } validator spend { fn(a: Data, b: Data, c) -> Bool { when_tuple((4, 1)) == 4 } }