let none : language = Obj.magic Gpointer.boxed_null