int string_equal(char* a, char* b) {
    return !strcmp(a, b);
}