Minor optimizations to tzvm 1.1