What drove out this needing to be a pointer to an int?