(^) minor adjustments
(-) bug on finalizer inside Dcl_var constructor