I meant Dave was correct on how he interpreted the code. It's a way to implement a unit-based array.
EDIT: I was actually unware at the fact that despite there existing no dereferencing it could still produce undefined behavior. But Dave hit it on the nail at the code usage.