Write translation0inv and translation

They should still be tested, but it's pretty uncomfortable to test this
without graphics.