| line | true | false | branch | 
 
| 10 | 1 | 0 | CHECK(be2h16(r1) == 999); | 
 
|  | 1 | 0 | CHECK(be2h16(r1) == 999); | 
 
|  | 1 | 0 | CHECK(be2h16(r1) == 999); | 
 
|  | 1 | 0 | CHECK(be2h16(r1) == 999); | 
 
|  | 1 | 0 | CHECK(be2h16(r1) == 999); | 
 
|  | 0 | 0 | CHECK(be2h16(r1) == 999); | 
 
|  | 0 | 0 | CHECK(be2h16(r1) == 999); | 
 
| 11 | 1 | 0 | CHECK(be2h32(r2) == 888); | 
 
|  | 1 | 0 | CHECK(be2h32(r2) == 888); | 
 
|  | 1 | 0 | CHECK(be2h32(r2) == 888); | 
 
|  | 1 | 0 | CHECK(be2h32(r2) == 888); | 
 
|  | 1 | 0 | CHECK(be2h32(r2) == 888); | 
 
|  | 0 | 0 | CHECK(be2h32(r2) == 888); | 
 
|  | 0 | 0 | CHECK(be2h32(r2) == 888); | 
 
| 12 | 1 | 0 | CHECK(be2h64(r3) == 777); | 
 
|  | 1 | 0 | CHECK(be2h64(r3) == 777); | 
 
|  | 1 | 0 | CHECK(be2h64(r3) == 777); | 
 
|  | 1 | 0 | CHECK(be2h64(r3) == 777); | 
 
|  | 1 | 0 | CHECK(be2h64(r3) == 777); | 
 
|  | 0 | 0 | CHECK(be2h64(r3) == 777); | 
 
|  | 0 | 0 | CHECK(be2h64(r3) == 777); | 
 
| 13 | 18 | 0 | } | 
 
|  | 18 | 0 | } |