let quit_bt = { x0 = next_bt.x0; y0 = next_bt.y0 + gr_unit + (gr_unit / 2) ; width = next_bt.width; height = next_bt.height; color = Graphics.red; label = "quit!" }