MODULE OkMinimal;
BEGIN
END OkMinimal.