arg1 = IoIFP(sv_2io(ST(1));