it's also a typed VM, so that makes it even more complicated. (Because the types are stored in the executable metadata)