(executable
 (name a)
 (libraries bigarray))
