Email Record: Automated microcode synthesis /