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