r14976: another use of the magic comment recognised by the IBM checker for