Typedefs in vm

Typedefs in vm