Have anyone tried to implement a GAS port using CGEN that has 64-bit widde instructions? not 64, but 48 bit instructions, yes. .mrg.