// 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,9,0,0,
    0,0,0,0,0,243,186,0,0,0,128,0,0,0,93,0,
    81,1,72,0,115,0,93,0,81,1,72,4,115,1,92,2,
    31,0,81,2,50,1,0,0,0,0,0,0,29,0,92,2,
    31,0,81,3,92,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,92,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,42,26,0,0,0,0,0,0,0,0,
    0,0,115,5,81,7,70,0,68,24,0,0,115,6,92,2,
    31,0,81,5,92,6,12,0,81,6,92,5,92,6,42,26,
    0,0,0,0,0,0,0,0,0,0,12,0,48,4,50,1,
    0,0,0,0,0,0,29,0,74,26,0,0,9,0,28,0,
    81,1,33,0,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,122,7,99,111,110,102,105,103,32,122,2,58,32,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,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,
    241,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,213,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,157,
    59,152,45,208,10,40,214,4,41,243,15,6,12,2,114,16,
    0,0,0,
};