GROW
GROW(24);
GROW(24);
GROW(len);
GROW(24);
GROW(20);
GROW(20);
GROW(18);
GROW(len + 3 * unprintable + quotes + 2);
GROW((int)strlen(s) + 2);
GROW((int)strlen(s) + 2);