// 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,184,0,0,0,128,0,94,0,82,1,
    73,0,116,0,94,0,82,1,73,1,116,1,93,2,33,0,
    82,2,52,1,0,0,0,0,0,0,31,0,93,2,33,0,
    82,3,93,0,80,6,0,0,0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,52,2,0,0,0,0,0,0,
    31,0,93,1,80,8,0,0,0,0,0,0,0,0,0,0,
    0,0,0,0,0,0,0,0,33,0,52,0,0,0,0,0,
    0,0,82,4,44,26,0,0,0,0,0,0,0,0,0,0,
    116,5,82,7,16,0,70,24,0,0,116,6,93,2,33,0,
    82,5,93,6,12,0,82,6,93,5,93,6,44,26,0,0,
    0,0,0,0,0,0,0,0,12,0,50,4,52,1,0,0,
    0,0,0,0,31,0,75,26,0,0,9,0,30,0,82,1,
    35,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,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,
    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,
};