/* PBXA64 handbook-style C text example: utf8_three_byte_decode.
 * decode a three-byte UTF-8 sequence into its scalar value. This source deliberately keeps every transformation visible
 * instead of hiding it behind library calls, making it useful for tracing.
 */
int main(void) {
    unsigned char s[] = { 226, 130, 172, 0 }; int value = ((s[0] & 15) << 12) | ((s[1] & 63) << 6) | (s[2] & 63); return value == 8364 ? 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. */
