(executable
 (public_name kestrel)
 (name main)
 (libraries kestrel kestrel_varvara unix))

(executable
 (public_name uxnmin)
 (name uxnmin))