Why is this an int pointer?  Both why is this an int rather than int32_t and why is this a pointer rather than a reference?