strlen function in c programming