// riscv64-unknown-elf-g++ -march=rv64g test3.cpp -c -o test3.o
// riscv64-unknown-elf-ld test3.o -o test3 -lc -static
// spike pk ./test3; echo $?
// riscv64-unknown-elf-objdump -dr test3
// riscv64-unknown-elf-readelf -S test3.o
// riscv64-unknown-elf-readelf -s test3.o
// riscv64-unknown-elf-readelf -r test3.o

#include <cstdlib>

int ret = 11;

int main() { std::_Exit(ret); }