covert for
<2KI16 -:18 >
covert from
<ISA32 -:2 >
covert from storm
<ISA4 -:6 >
~~~~~~