module charexp export charexp, charinit declare CHAREXP : static packed array [1..80] of char enddeclare procedure CHARINIT () CHAREXP := "12345678901234567890123456789012345678901234567890123456789012345678901234567890" endprocedure endmodule