main
[tests] Verify the errors returned by BTreeWalker
[tests] Ignore false-positive manual_div_ceil linter warnings