@mflatt why is the second argument to module-declared? here #t? https://github.com/racket/racket/blob/master/racket/src/cs/main.sps#L181

If the enclosing module is compiled, then the main submodule probably wasn’t loaded already.

ah, ok