MODULE Minimal;
END Minimal.