Typedefs in vm