type t = int
let print i = Printf.printf "Abstract %i\n" i
let x = 10