Make main() run for debugging purposes