The Java Virtual Machine Specification (2nd Edition)