[][src]Module vm::deserializer