Understanding the Virtual Execution System and the Common Type System /