Switch back to unadorned int in the debug API.

I think this is a mistake, and that we should be using explicitly sized types for our data types that
happen to be representable as integers, but not strongly enough to delay this further.