a compiled module (semantic3) containing an empty main() function, for the -main flag
See Implementation