vma: subroutine-local labels supported.
vm_thunks: fix integers (VM args is always 32 bits)