FILE *	stream = IoIFP(sv_2io(ST(0)));