int main(void)
{
　char buff[256], *p;
　buff[sizeof(buff)-1] = '\0';
retry:
　printf("\n");
　if (!fgets(buff, sizeof(buff)-1, stdin))
　　goto end;
　p = buff;
next:
　switch (*p) {
　case '\0':
　case '\n':
　　*p = '\0';
　　goto print;
　case 'A':
　　if (*(p+1) == ' ')
　　　*p -= 'A' - 'a';
　default:
　　++p;
　　break;
　}
　goto next;
print:
　printf(&((strcmp(buff, "ABC ") != 0)<<3)["aBC \0%4d%.*s\0%2u\n"], p-buff, buff);
　goto retry;
end:
　return 0;
}