> Accidentally, I found the code you committed above has 6-bit argument 0b000110, while the the > declaration of class NV3DIntnp says this parameter should be bit<5>, so does it hurt anything? Nice spot, thanks! It didn't hurt anything because it was just an extra 0. I fixed it in r186568.