__constant char *BG_COLOR = (char *) 53281
__constant char *D018 = (char *) 53272
__constant char *RASTER = (char *) 53266
__constant char *charset1 = (char *) 4096
__constant char *charset2 = (char *) 6144
void main()
char *main::toD0181_charset
char main::toD0181_return
__constant char main::toD0181_return#0 = (char)(unsigned int)screen/$40|(unsigned int)charset1/$400 // toD0181_return
char *main::toD0181_screen
char *main::toD0182_charset
char main::toD0182_return
__constant char main::toD0182_return#0 = (char)(unsigned int)screen/$40|(unsigned int)charset2/$400 // toD0182_return
char *main::toD0182_screen
__constant char *screen = (char *) 1024

