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