(executable
 (public_name bk910x)
 (name main)
 (preprocess (pps xlog.ppx))
 (libraries bk910x eio_main xlog))