working example for vt index and mangled name