void cleanup(int sig);