RE: getting interrupt number