Working draft of the proposed RISC-V Bitmanipulation extension - RISC-V - riscv