int strlen_tests();