Right, and main_quit is a function.