A very small and simple Java bytecode interpreter