strlen() notes in varlena.c