Deriving Compiler and VM for Multi-level Language