Re: RISC-V struggle (for GMP porting)