module 0x8675309::M { public fun bad_value(): vector { x"g0" } public fun odd_length(): vector { x"123" } }