Or is it intentionally left undefined (if so, that should be specified)? Proc-macros can have side-effects. If it is defined, what its it? (In source-sequence, starting from crate root, entire module processed before mod statements, or are mod processed as seen?)