Meta ID/Name conversion name string `\0`-terminated
Is %name
in [0x250]@uvm.meta.id_of (%name: @uvm.meta.bytes.r) -> int<32>
a \0
-terminated string? It seems that in the reference implementation there is such assumption.
Maybe it's good to make it clear in the spec?