Compilers know how to optimize strlen