(executables
 (names
  sax)
 (modes byte exe)
 (libraries sax))
