int rand_32() { return (int)(emscripten_random() * 0x3FFFFFFF); }
float __attribute__((noinline)) negative10() { return (emscripten_random() < -1) ? 0.f : -10.5f; }
float __attribute__((noinline)) positive42() { return (emscripten_random() < -1) ? 0.f : 42.25f; }
double __attribute__((noinline)) negative_dbl_max() { return (emscripten_random() < -1) ? 0.f : -DBL_MAX; }
int64_t rand_60() { return (int64_t)(emscripten_random() * 0x3FFFFFFF) | ((int64_t)(emscripten_random() * 0x3FFFFFFF) << 30); }