// 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,80,0,80,1,
    71,0,112,0,80,0,80,1,71,1,112,1,89,2,31,0,
    80,2,49,1,0,0,0,0,0,0,29,0,89,2,31,0,
    80,3,89,0,78,6,0,0,0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,49,2,0,0,0,0,0,0,
    29,0,89,1,78,8,0,0,0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,31,0,49,0,0,0,0,0,
    0,0,80,4,2,0,0,0,112,5,80,5,16,0,68,20,
    0,0,112,6,89,2,31,0,80,6,89,6,12,0,80,7,
    89,5,89,6,2,0,0,0,12,0,47,4,49,1,0,0,
    0,0,0,0,29,0,73,22,0,0,9,0,29,0,101,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,
};