The Virgil compiler will typecheck all code given to it on the command-line and then only compile what is reachable from main() after running initialization in

The Virgil compiler will typecheck all code given to it on the command-line and then only compile what is reachable from main() after running initialization in the internal interpreter, both code and data. Unused functions and fields and classes will simply never be visited for codegen.