let root = (openTk () : Widget.toplevel Widget.widget)