#ifndef __PROD_SCREEN_FAIL__ #define __PROD_SCREEN_FAIL__ int launch_prod_screen_fail(); #endif //__PROD_SCREEN_FAIL__