declare printf(s: string, x1: i32,x2: i32,x3: i32,x4: i32,x5: i32,x6: i32,x7: i32,x8: i32,x9: i32,x10: i32,x11: i32,x12: i32,x13: i32,x14: i32): void

let main(): i32 = {
  printf("%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d\n", 3,3,3,3,3,3,3,3,3,3,3,3,3,3)

  return 0
}