Comment by samwillis

They have made it very clear that the mechanical translation is the starting point, and are refactoring to remove as many unsafe declarations as possible.