incomplete emulation of fstenv under TCG