Supplementing the Model with Handwritten Code : Mapping Rational Statemate Types into C : Arrays

Arrays

Elements of all arrays in C are enumerated starting from 0. In Rational Statemate, there is no such restriction.