void reset(contatore* c){ *c = 0; } void inc(contatore* c){ (*c)++; } int getValue(contatore c){ return c; }