method callback  : (string -> unit) = match callback with None   -> (fun x->()) | Some f -> f