We currently grow the fast-locking lock-stack by allocating a larger stack and copying over all elements. This can be done simpler and more efficient by using realloc instead of malloc+copy.