Elided initialization of collection count for users