Inline `alloc_tv`
Inline `alloc_string_tv`