nuclear@0: int main(void)
nuclear@0: {
nuclear@0: 	for(;;);
nuclear@0: }