I hope someone properly checked that no safety properties depend on Go there. I bet nobody actually did so...