So only high level non-safety-critical code, I see.

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