LabelTranslator{intToExt={0=neg, 1=pos}, extToInt={neg=0, pos=1}}