Artifacts of S2Dao Code Generator #7024