reader.get("bkgd_red_top", r);
reader.get("bkgd_green_top", g);
reader.get("bkgd_blue_top", b);
reader.get("bkgd_red_top", r);
reader.get("bkgd_green_top", g);
reader.get("bkgd_blue_top", b);
reader.get("bkgd_red_bottom", r);
reader.get("bkgd_green_bottom", g);
reader.get("bkgd_blue_bottom", b);
reader.get("bkgd_red_bottom", r);
reader.get("bkgd_green_bottom", g);
reader.get("bkgd_blue_bottom", b);
song_title = "chipdisko.ogg";
reader.get("music", song_title);
song_title = "chipdisko.ogg";
reader.get("music", song_title);
reader.get("width", width);
reader.get("height", height);
reader.get("width", width);
reader.get("height", height);