Well I just realized that string.len(str) is actually faster than str:len() if it’s in the scope of a localized version of ‘string'
