// Auto-generated by Programs/freeze_test_frozenmain.py
unsigned char M_test_frozenmain[] = {
    227,0,0,0,0,0,0,0,0,0,0,0,0,8,0,0,
    0,0,0,0,0,243,166,0,0,0,149,0,81,0,81,1,
    72,0,113,0,81,0,81,1,72,1,113,1,90,2,31,0,
    81,2,50,1,0,0,0,0,0,0,29,0,90,2,31,0,
    81,3,90,0,79,6,0,0,0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,50,2,0,0,0,0,0,0,
    29,0,90,1,79,8,0,0,0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,31,0,50,0,0,0,0,0,
    0,0,81,4,2,0,0,0,113,5,81,5,16,0,69,20,
    0,0,113,6,90,2,31,0,81,6,90,6,12,0,81,7,
    90,5,90,6,2,0,0,0,12,0,48,4,50,1,0,0,
    0,0,0,0,29,0,74,22,0,0,9,0,29,0,102,1,
    41,8,233,0,0,0,0,78,122,18,70,114,111,122,101,110,
    32,72,101,108,108,111,32,87,111,114,108,100,122,8,115,121,
    115,46,97,114,103,118,218,6,99,111,110,102,105,103,41,5,
    218,12,112,114,111,103,114,97,109,95,110,97,109,101,218,10,
    101,120,101,99,117,116,97,98,108,101,218,15,117,115,101,95,
    101,110,118,105,114,111,110,109,101,110,116,218,17,99,111,110,
    102,105,103,117,114,101,95,99,95,115,116,100,105,111,218,14,
    98,117,102,102,101,114,101,100,95,115,116,100,105,111,122,7,
    99,111,110,102,105,103,32,122,2,58,32,41,7,218,3,115,
    121,115,218,17,95,116,101,115,116,105,110,116,101,114,110,97,
    108,99,97,112,105,218,5,112,114,105,110,116,218,4,97,114,
    103,118,218,11,103,101,116,95,99,111,110,102,105,103,115,114,
    3,0,0,0,218,3,107,101,121,169,0,243,0,0,0,0,
    218,18,116,101,115,116,95,102,114,111,122,101,110,109,97,105,
    110,46,112,121,218,8,60,109,111,100,117,108,101,62,114,18,
    0,0,0,1,0,0,0,115,94,0,0,0,240,3,1,1,
    1,243,8,0,1,11,219,0,24,225,0,5,208,6,26,212,
    0,27,217,0,5,128,106,144,35,151,40,145,40,212,0,27,
    216,9,26,215,9,38,210,9,38,211,9,40,168,24,209,9,
    50,128,6,243,2,6,12,2,128,67,241,14,0,5,10,136,
    71,144,67,144,53,152,2,152,54,160,35,153,59,152,45,208,
    10,40,214,4,41,242,15,6,12,2,114,16,0,0,0,
};