int strcmp_tests();