RNF12FTC32K4, a part of the parts library