void main()
__constant char * const main::BG_COLOR = (char *) 53280
__constant const char main::RED = 2
__constant char main::b1 = $fa
char main::b2
__constant char main::b2#0 = main::b1+$fa // b2
__constant unsigned int * const main::screen = (unsigned int *) 1024
unsigned int main::w
__constant unsigned int main::w#0 = main::b2#0+1 // w

