procedure ending ident is optional in Eberon
syntax relaxation: allow semicolon