#ifndef __PROD_SCREEN_FAIL__ #define __PROD_SCREEN_FAIL__ int launch_prod_screen_fail(int argc, char *argv[]); #endif //__PROD_SCREEN_FAIL__