Gödel numbering
The Gödel numbering function g can be chosen to be total recursive.