let () =
bitmatch bits with
- | { i : 16 : check (i > 100), bind (i*4);
- j : 16 : check (j > 200) } ->
+ | { i : 16 : check (i = 101), bind (i*4);
+ j : 16 : check (j = 202) } ->
if i <> 404 || j <> 202 then
failwith (sprintf "70_check_and_bind: failed: %d %d" i j)
| { _ } ->