val f : ?a:int -> int -> unit