(executable
 (public_name sessionPi)
 (name main)
 (libraries sessionPi core core_unix.command_unix base async async_unix)
 (preprocess
  (pps ppx_let)))
