+
+ /* --- Encoded line number states --- */
+
+ case s_linex:
+ bc__lineno = ((((byte << 2) | (byte << 12)) & 0xc0c0u) ^ 0x4040u);
+ bc__state++;
+ break;
+
+ case s_liney:
+ bc__lineno |= byte & 0x3fu;
+ bc__state++;
+ break;
+
+ case s_linez:
+ bc__lineno |= (byte << 8) & 0x3fu;
+ fprintf(fp, "%u", bc__lineno);
+ bc__state = s_normal;
+ break;
+