Skip to content
After this commit, the counter encoding of allocation was dropped