void f()
{
int i = 1252;
printf("i:%d\n", i);
printf("times_two(&i)=%d\n", times_two(&i));
printf("après times_two, i:%d\n", i);
printf("timestwo(&i)=%d\n", timestwo(&i));
printf("après timestwo, i:%d\n", i);
}
static void example_drv_output(ErlDrvData handle, char *buff, int bufflen)
{
example_data* d = (example_data*)handle;
char fn = buff[0], arg = buff[1], res;
if (fn == 1) {
res = plus_one(arg);
} else if (fn == 2) {
res = times_two(arg);
}
driver_output(d->port, &res, 1);
}
