Listing: 1 MODULE OkMinimal; 2 BEGIN 3 END OkMinimal. 0 errors