What they’ve done here isn’t safe either, and doesn’t have the consistent translation of rust2c.