Ejemplo n.º 1
0
value stub2() {
  printf("This is stub2, calling stub1:\n");
  stub1();
  printf("Ok!\n");
  return Val_unit;
}
Ejemplo n.º 2
0
value stub2(void) {
  printf("This is stub2, calling stub1:\n"); fflush(stdout);
  stub1();
  printf("Ok!\n"); fflush(stdout);
  return Val_unit;
}