Hmm... I thought portTickType were uint32. I'll check into it.