TransCompilation Pt2