Function b2j_work 

pub fn b2j_work(a: &[char], b: &[char]) -> u64

Estimated b2j inner-loop work Σ_c count_a(c)·count_b(c) — exactly the positions the first-block scan visits; the dispatch signal, also exposed for benchmarking. (oa·ob folds the non-ASCII tail.)