void _start() {
  *(volatile unsigned int *)0x40000800 = 0xDEADBEEF;
  *(volatile unsigned int *)0x40000804 = 0xCAFEBABE;
}