The Java Virtual Machine Specification