Re: Aiee: scheduling in interrupt (PR#9)