there is a discrepancy between this comment and the `uint64` declaration above; wouldn't it be correct to keep them `int32` in this function?