Alternative languages for safe and secure RISC-V programming