marzeq/qk revision: b2a6931

declare printf(s: *char, ...): void

export let main() = {
  printf("%d\n", given {
    let a = 2 + 2
  } -> given {
    let b = a + 2
  } -> b) -- should print 6
}