Fix conventions.
Use __intXX instead of raw types.