let printf(s: *char, ...) = extern("printf") let main() = { printf("%d\n", given { let a = 2 + 2 } -> given { let b = a + 2 } -> b) -- should print 6 }