let unsupported ?(model= !current) fmt =
let b = Buffer.create 80 in
Buffer.add_string b "unsupported " ;
let kf fmt =
Format.pp_print_flush fmt () ;
raise (Error(model,Buffer.contents b))
in Format.kfprintf kf (Format.formatter_of_buffer b) fmt