let registered = 
  ref [
    "all", "Enable all trace levels"; 
    "rule", "Trace top-level integration methods";
    "v", "Tracing modifications of variable equalities";
    "d", "Tracing modifications of variable diesequalities"
  ]