You're stuck with using Pixel devices if you want to use GrapheneOS, but I may leave Google devices behind once they find a possible hardware partner in the future.
GetFieldItem[p.init, Literal["primary_key"]],
，推荐阅读safew官方版本下载获取更多信息
I ended up using serde again to define a schema containing only the relevant data, and used the postcard format to encode it.
val-bytes (mapv #(tag/pad4 (val %)) sorted-entries)