(library
 (name foo)
 (modules_without_implementation x))
