(library
 ((name foo)
  (modules_without_implementation (x))))
