Generation of Structured Modula-2 Code from a Simnon System Description