contract c {
    fn f(u256 a) -> (u256) {
        return a;
    }

// TODO support function type
//    f b() -> (u256, u256) {
//        return test(f(1), 2);
//    }

    fn test(u256 a, u256 b)-> (u256 r_a, u256 r_b)
    {
        r_a = f(a + 7);
        r_b = b;
    }
}

// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// test(u256,u256): 2, 3  -> 9, 3