80x86 clone in Bluespec