[wwtrv]

I never realized that it's actually RISC-five and not RISC-/v/.