Module epilogue

Utilities for implementing epilogues.

Epilogues are operations that are done when several other operations are done.

Functions

• debug_assert_counter_zero
  A debugging method for detecting the case when the epilogue is never executed.