val partial random () : int
let ghost f () = random ()