Track size change of alloc_blocks and alloc_blocks_lim. (They are of type nat, which used to be the same size as W_, but now is the same size as CInt).