type t = string
let print i = Printf.printf "Abstract %s\n" i
let x = "foo"