SMC生成的Turnstile.cs以及其他支持文件