/* PBXA64 handbook-style C text example: escape_decoder.
 * decode common backslash escapes using a small dispatcher. This source deliberately keeps every transformation visible
 * instead of hiding it behind library calls, making it useful for tracing.
 */
int main(void) {
    char s[] = "A\\nB\\tC"; int i = 0, score = 0; for (i = 0; s[i] != 0; ++i) { if (s[i] == '\\' && s[i + 1] == 'n') { score += 10; ++i; } else if (s[i] == '\\' && s[i + 1] == 't') { score += 4; ++i; } else ++score; } return score == 17 ? 0 : 1;
}

/* Discussion: inspect the loop bounds, byte classification, and final return
 * value. The bounded-C frontend currently records CIR0200 for all C source;
 * this example remains a real handbook program for the public C surface once
 * that frontend gate is restored. */
