(executable
 (name hello)
 (public_name hello.exe)
 (libraries fstar.lib)
 (modes native byte)
)
(env
  (_
    (flags (:standard -w -A))))
