'UINT' symbols changed to 'uint'