(library
 (name impl)
 (implements vlib))