It is error-prone to reuse the name `numUserBlocks`.