En ese tiempo se hacía llamar "Destructor".