string buffer, the tail paer Precondition: mutable number with word size at least 4 bytes Postconditoin: the number is destroyed
last N bytes used in the buffer
See Implementation