The text 801a0c537fef, as FreeBSD 8.3-RELEASE shipped it.
standard integer types
stdint(7) on FreeBSD now
