// riscv64-unknown-elf-g++ -march=rv64g test4.cpp  -o test4.bin
// spike pk ./test4; echo $?
// riscv64-unknown-elf-objdump -dr test4
#include <cstdlib>
#include <cstdio>

int main() {
  return std::puts("Hello World");
  ;
}