func &testl (var %l u64, var %ok i32) void {
  funcid 5

LOC 2 47
LOC 2 48
  if (cand i32 (
    ge i32 u64 (dread u64 %l, constval u64 1),
    le i32 u64 (dread u64 %l, constval u64 0x7fffffffffffffff))) {
LOC 2 50
    if (eq i32 i32 (dread i32 %ok, constval i32 0)) {
      call &abort ()
    }
  }
  else {
LOC 2 53
    if (ne i32 i32 (dread i32 %ok, constval i32 0)) {
      call &abort ()
    }
  }
LOC 2 54
  return ()
}