Decision #1030 — binary_reader.rs:420

Status: unreached

Truth table

rowc0 br 5207c1 br 5208c2 br 5209c3 br 5210outcome

Independent-effect pairs