Decreases the record counter by n.
amount to subtract from the record counter value
new record counter value
In: n must be at most the current record counter value.
See Implementation
Decreases the record counter by n.