The present invention provides novel pharmaceutical compositions for azole antimicrobial drugs such as itraconazole, saperconazole, ketoconazole, and fluconazole. The protective shield includes a textile sleeve of interlaced yarns operable to surround a conductor product. The rotor has an arm portion extending outwardly in a direction perpendicular to the axis of the rotor, and a pin portion engaging with the shutter blade and provided in the arm portion to stand. The protective mat is positioned in the inner volume so that water carried thereon is flowed out of the inner volume. The switch circuit supplies the power supply voltage or the second voltage to the output circuit in accordance with the operating state of the imaging external device. The code verification tool may receive for examination a model or an intermediate representation of the model and the generated code or an intermediate representation of the generated code.