How compact is compiled RISC-V code?