more robust treatment of execution with interrupts;
tuned comments;