declare printf(s: cstring, ...): void

let main() = {
  let a = 5
  printf("a = %d\n", a)

  let b = &a

  var c = *b
  c = 2  
  printf("a after = %d\n", a)
  return c
}