Function check_export_sized 

pub fn check_export_sized(
    input: impl BufRead,
    bytes: Option<u64>,
    configure: impl FnOnce(&mut Kernel),
) -> (Verdict, Stats)

check_export_with for an input whose size is known, so the stores are sized once.