EXTH header and record parser; books for testing