bug detected in cRamified _dtor, related to a child location (int/ext variable)