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