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

#include <cstdlib>

int main2() { std::_Exit(20); }

int main() {    std::_Exit(11);
    main2();
}