open Base
open Stdio

let () =
  printf "%d\n" (123);