(library
 (name example)
 (modules hello))