(executables (names test_bench mv_regr)
 (libraries core_unix.command_unix core core_bench
  core_unix.time_stamp_counter)
 (preprocess no_preprocessing))