(include_subdirs unqualified)
(executable
  (name Main)
  (libraries
    batteries
    fstarlib
  )
  (preprocess (pps ppx_deriving_yojson))
  (flags (:standard -w -8-9-11-26-27-33-39))
)
