void SWI_Halt(void)

{
  __asm__ volatile("swi #0x0A");
  return;
}