1 (* Test check() and bind().
8 let bits = (BITSTRING { 101 : 16; 202 : 16 })
12 | { i : 16 : check (i = 101), bind (i*4);
13 j : 16 : check (j = 202) } ->
14 if i <> 404 || j <> 202 then
15 failwith (sprintf "70_check_and_bind: failed: %d %d" i j)
17 failwith "70_check_and_bind: match failed"