Modifications from GALS code generator.