os_program_deinit() function

os_program_deinit - Program deinitialization (called just before exit) This function is called just before a program exists. If there are any OS specific processing, e.g., freeing resourced allocated in os_program_init(), it should be done here. It is also acceptable for this function to do nothing.