CSmith: Main stage.