ASSERTV-ize some declarations.