Beispiel #1
0
int simcall_mc_random(int min, int max) {
  return simcall_BODY_mc_random(min, max);
}
Beispiel #2
0
int simcall_mc_random(void)
{
  return simcall_BODY_mc_random();
}