Fat vm 1 step ?-: S v-kt.ivtxt.