+import "Prelude"
+
+importJava "java.nio.file.StandardOpenOption" where
+ data OpenOption
+
+ READ :: OpenOption
+ WRITE :: OpenOption
+
+idOf READ = 3
+idOf WRITE = 19
+
+main = idOf READ + idOf WRITE + idOf READ
+--
+25
\ No newline at end of file