Function check_export_with 

pub fn check_export_with(
    input: impl BufRead,
    configure: impl FnOnce(&mut Kernel),
) -> (Verdict, Stats)

Checks a whole export with a kernel configured by configure first.