Avoid magic numbers. Since we are reading the header, let's be explicit about it. Also removes the need to clean up the readbuf again, and any potential for confusion on what we are doing ;)