Re: [nhc-bugs] Labels for float instructions on alpha