The input record one invocation reads (systems/bob/tools/build_fixture.py
writes it): the magic and version (8 bytes each), the corpus's 256
(byte, target) pairs, each byte's target as a 32-bit word, and each
prompt's last byte as a 32-bit word.
86def bobInputHeaderBytes : Nat = 16The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.