Function binary_check 

fn binary_check<T: Transport, C: Clock>(
    engine: &Engine<T, C>,
    ctx: &DoctorCtx<'_>,
) -> Check