fact: Example micro_duplicate_word : ParametricExtraction #vars x #program ret (x :: x :: nil) #arguments [[`"x" ->> x as _]] :: Nil #env Microbenchmarks_Env.
imports: CertifiedExtraction.Benchmarks.MicrobenchmarksSetup