Function check_export_observed 

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

check_export_sized, observed as observe asks.