Initial

Transition between states
FromInitialToJ43539E850196

Transition code
printf("\n\n\n*** POWER SUPPLY SYSTEM ACTIVATED *** \n\n");
printf("MSG_VSEL: Now listening... \n");