fn w8 $recordEq(w64 %0, w64 %1) {
  @entry0
    sload w32 %2 %0 0;
    sload w32 %3 %1 0;
    eq w32 %4 %2 %3;
    sload w32 %5 %0 4;
    sload w32 %6 %1 4;
    eq w32 %7 %5 %6;
    and w32 %8 %4 %7;
    ret %8;
}