class Appl: destructor added