void cleanup (void);