string.len (s)
Receives a string and returns its length. The empty string
""
has length 0. Embedded zeros are counted, so
"a\000bc\000"
has length 5.