int simcall_mc_random(int min, int max) { return simcall_BODY_mc_random(min, max); }
int simcall_mc_random(void) { return simcall_BODY_mc_random(); }