MODULE TMinimal; END TMinimal.