#include "tb_cxxrtl_io.h"
__attribute__((optimize("O0"))) int main() {
  // tb_puts("Hello world from Hazard3 + CXXRTL!\n");
  uint32_t addr = 0x40008000;
  uint32_t *point = (uint32_t *)addr;
  *point = 'C';
  *point = 'O';
  *point = 'L';
  *point = 'I';
  *point = 'N';
  return 123;
}