Searching in samples/tex_redef_microbench