void _start() {
  *(volatile unsigned int *)0x40001000 = 0xDEADC0DE;

}