Is there a write-up on how the rust code ends up being embedded in the iOS app?