Function check_export_in 

pub fn check_export_in(
    k: &mut Kernel,
    input: impl BufRead,
    bytes: Option<u64>,
    observe: Observe,
) -> (Verdict, Stats)

Checks a whole export into the caller’s kernel, which keeps everything admitted — a command that exits once it has reported need never pay for tearing the kernel down.