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