# Mandatory properties for module1 are all inferred from the module ID