%{
#include <stdio.h>
#include <string.h>
#include <ctype.h>

void replace_case(const char *input, const char *replacement, char *output) {
    for (int i = 0; i < strlen(input); i++) {
        if (isupper(input[i])) {
            output[i] = toupper(replacement[i]);
        } else {
            output[i] = tolower(replacement[i]);
        }
    }
    output[strlen(input)] = '\0'; 
}
%}

%% 
[Cc][Ss][Pp][Ii][Tt] {
    char output[6]; 
    replace_case(yytext, "mbict", output);
    printf("%s", output);
}
.|\n    { printf("%s", yytext); } 
%%

int yywrap() {
    return 1;
}

int main() {
    yylex();
    return 0;
}