Added the optimized versions of strlen().