(executable
 (name updatet)
 (libraries core_bench))