__attribute__((naked)) void Image_InitSystem(void)
{
  __asm__ volatile("bx r3");
}