These translations have all the identifiers preserved as in the original C
source code.

