let not_yet_implemented ?(model= !current) fmt =
let b = Buffer.create 80 in
let kf fmt =
Format.pp_print_string fmt " not yet implemented" ;
Format.pp_print_flush fmt () ;
raise (Error(model,Buffer.contents b))
in Format.kfprintf kf (Format.formatter_of_buffer b) fmt