module M { public fun bad_value(): vector { b"Diem } }