Modeling the R2C02.cs code