Ah, the Kotlin one seems fine. Not strictly necesarry imo, but makes a lot of sense.

I get the impression that the C to Rust one is more rocky than people like to admit and also don't really like to leave the impression of difficulty, but it shines through.