cp dot.elf dot-xt.elf
wip: stp1
simplify sev G G1 G2 to sev G1 G2, since G always equal to G1 by construction