(1) mod_clause ::= at mod static_expression;
(3) for r use record at mod a ... end record;
(5) for r'Alignment use a; for r use record ... end record;
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch