TX=Citadis; C=ROT_CITADIS(|L);