I think we should assert here that we actually do have a `lastPosition` which is not `NoPosition`. Consider refactoring into a block with incremental and non-incremental. Also, if we decide to change the main comment and reserve undefined bits for future use, you'll need to check for format 4 explicitly.