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?