(library
 (name impl1)
 (implements vlib))