C=(SNCB_5207|SNCB_5208|SNCB_5209|SNCB_5210|SNCB_5211|SNCB_5212),2-4*(TEE_SNCB_A),(TEE_BAR~XXX),2-4*(TEE_SNCB_A),TEE_GEN[