Strlen.c

It's a very clever optimization (could it be categorized as vectorization?) in a very used part of the C library. In some cases these optimizations very justified.