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?