
while (interrupt_pin == 0); 
