Function check

fn check(
    rules: &[Rule],
    rule: usize,
    message: &[u8],
    index: usize,
) -> Option<usize>