protect against resizing of env registers
fix typos in x86/64 specs