int tint_mod_i32(int lhs, int rhs) {
  int v = ((((rhs == int(0)) | ((lhs == int(-2147483648)) & (rhs == int(-1))))) ? (int(1)) : (rhs));
  return asint((asuint(lhs) - asuint(asint((asuint((lhs / v)) * asuint(v))))));
}

[numthreads(1, 1, 1)]
void f() {
  int a = int(1);
  int b = int(2);
  int r = tint_mod_i32(a, b);
}