let print m =
    Datatype.String.Map.iter
      (fun opt_name bval -> debug "opt=%s b=%b\n" opt_name bval) m