(coq.theory
  (name Echo)
  (theories FFI))
