unsigned long long __compcert_i64_udiv(unsigned long long x, unsigned long long y) {
  return x / y;
}
unsigned long long __compcert_i64_umod(unsigned long long x, unsigned long long y) {
  return x % y;
}
long long __compcert_i64_sdiv(long long x, long long y) {
  return x / y;
}
long long __compcert_i64_smod(long long x, long long y) {
  return x % y;
}