include "List.aes" contract C = entrypoint f() = let ??? = true let v = ??? let q = v == "str" let xs = [1, 2, 3, 4] switch (List.first(List.map(???, xs))) Some(x) => x + 1 None => 0 function g() = ???