int strcasecmp_tests();