Implement format version 0x80

Closes #12