# Quit the GTK event loop and clean up the system
fun gtk_main_quit `{ gtk_main_quit(); `}