Add a C version of the address translation