pub fn vtable_name(trait_name: &str) -> String