Version of racket: 8.12+dfsg1-7
Architecture of racket: amd64
Version of gcc-riscv64-unknown-elf: 13.2.0-10+12
Architecture of gcc-riscv64-unknown-elf: amd64