"One unrelated bug the sanitizer found in both versions: ReadBootSector passes the 8-byte volserial to UUID_Copy, which reads 16 bytes."