(executable
 (name main)
 (libraries 
   zarith 
   aoo))