;defpackage firrtl/custom-compiler :
;   import core
;   import verse
;   import firrtl/ir-utils
;   import firrtl/ir2
;   import firrtl/passes
;   import firrtl/errors
;   import firrtl/verilog
;   import firrtl/custom-passes
;
;public defstruct InstrumentedVerilog <: Compiler :
;   with-output: (() -> False) -> False   with: (as-method => true)
;   args: List<String>
;public defmethod passes (c:InstrumentedVerilog) -> List<Pass> :
;   to-list $ [
;      WhenCoverage(args(c)[0],args(c)[1])
;      RemoveSpecialChars()
;      RemoveScopes()
;      CheckHighForm()
;      TempElimination()
;      ToWorkingIR()
;      ;; MakeExplicitReset()
;      ResolveKinds()
;      CheckKinds()
;      InferTypes()
;      CheckTypes()
;      ResolveGenders()
;      CheckGenders()
;      ExpandAccessors()
;      LowerToGround()
;      InlineIndexed()
;      InferTypes()
;      CheckGenders()
;      ExpandWhens()
;      InferWidths()
;      ;Pad()
;      ConstProp()
;      SplitExp()
;      ToRealIR()
;      ;RemoveSpecialChars()
;      CheckHighForm()
;      CheckLowForm()
;      CheckInitialization()
;      Verilog(with-output(c))
;   ]
;
;