record number rather than the header byte offset, to be consistent with other
uses of message "offset" in this class.