let untypedButton = (Checkbutton.create ~text:"Untyped variables" 
         ~borderwidth:1 
        ~onvalue:"1" ~offvalue:"0" ~variable:tv_untypedButton ~height:1
        ~command:(fun() -> 
                        click := (-1); 
                        if(!untyped_variable) 
                        then untyped_variable:=false 
                        else untyped_variable:=true) buttonFrame :  Widget.checkbutton Widget.widget)