TX=LV93; C=STP_LVS93(|L);