add header file for function exit