Deinit => Destructor (in src/control)