Function byte_at 

pub fn byte_at(gen: u8, k: usize) -> u8

The byte a file written in generation gen must hold at offset k.

Writer and checker MUST both come through here. Inlining the arithmetic at a call site is how the two drift.