let button_list = (ref [] : (Textvariable.textVariable * Widget.checkbutton Widget.widget) list Pervasives.ref)