"Virtual DOS Machine"@cs .