tree 8d7a69d7f6ca16963778b89082b204586d27fa65
parent 6b12b8253247079941e6303e9bb47aaeec03331b
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1413996957 -0200
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1413996957 -0200

detail (using 'sizeof' instead of 'strlen' for length of a constant
string)