The implementation itself only requires changes to trans, but
a few additional bugs concerning the handling of fat pointers
had to be fixed.