Memory management in Givaro two memory managers:
auto ptr management
Definition of the Counter class, Counter.