Fix ALLOC-PTR failing without the COUNT argument