(executable
 (name flatbench)
 (modules flatbench)
 (libraries tuna tuna_interp unix))
