Is this valid EP?

module m;

export m = all;

const o = 'O'; k = 'K';

end;

end.

program p (Output);

import m only (o); m only (k);

begin WriteLn (o, k) end.

The following might mean it isn't:

: The occurrence of an interface­identifier in an import­specification shall : constitute the defining­point of the identifier of the interface­identifier : as an imported­interface­identifier for the region that is the block, : module­heading, or module­block closest­containing the : import­specification.

Frank