A Typed Low-Level Language Used in Java Virtual Machine