OpenRISC mor1kx port to HardCaml