Documentation: No argument of ALLOC_GROW should have side-effects