Support for HiPE-compatible code emission, patch by Yiannis Tsiouris.