let fact = ref (fun _ -> assert false)
let zero = ref (-1)
let _ = prerr_endline "API"