Re: [Serusers] dev12 - has vm.so been deprecated?