What are `extern foo;` and `extern mod foo { ... }`?