(executable
 (public_name sandy)
 (name main)
 (libraries sandy)
 (modes exe byte))