Decision #732 — binary_reader.rs:420

Status: unreached

Truth table

rowc0 br 5274c1 br 5275outcome

Independent-effect pairs