• Module names must use .
• You can have as many .v files in a module as you want.
• All modules are compiled statically into a single executable.