public static InterruptPtr aliens_interrupt = new InterruptPtr() { public int handler() 
	{
		if (K051960_is_IRQ_enabled()!=0) return interrupt.handler();
		else return ignore_interrupt.handler();
	} }