morph_string_as_nullterm_to_length_prefix ()
    <Seq~<ValueDelim '\0'> x86.UInt8>
--> <Seq~<LengthPrefix x86.UInt64> x86.UInt8>
@lib/libmorph_length-prefix.so:src/length_prefix.c

morph_string_as_length_prefix_to_nullterm ()
    <Seq~<LengthPrefix x86.UInt64> x86.UInt8>
--> <Seq~<ValueDelim '\0'> x86.UInt8>
@lib/libmorph_length-prefix.so:src/length_prefix.c