add destructor printf