(executable
  (name ocp_checker)
  (modules Ocp_checker)
  (libraries stdlib-shims)
)
