Warning: size is deprecated. Use string.length.
Calculates the length of the string s, not including the terminating '\0' character.
