A strlen() example