New version: risc 1.5; riscb3 1.3