Suppress warning about num going unused.

Suppress warning about num going unused, it's actually iterated and
apparently this warning is emitted, regardless.