Re: identifiers in module declarations