After this commit, the counter encoding of allocation was dropped