i) fixed vm-run rule