# Hand over control to the GTK event loop
fun gtk_main `{ gtk_main(); `}