let forms = [Exact "tmp";
             Prefix "tmp___";
             Prefix "__cil_tmp";
             Suffix "__e";
             Suffix "__b";]