returned by a prior call
AbortingPathElem from A
append a new element
at a given
LimitsEff DynLimitsA Inout
sending of a parameter
a descriptive
_Atomic IMPLEMENTS ICounter A
