Highly simplified Java and Davlk virtual machine implementations