2: format vmachine