(executable
 (name main)
 (preprocess (pps ppx_deriving.std))
 (libraries batteries)
 (modes byte))