The concrete nrev stobj.
Definition: nrev$c
(defstobj nrev$c (nrev$c-acc :type (satisfies true-listp) :initially nil) (nrev$c-hint :type t :initially nil))
