[ros-diffs] 08/16: [USER32] Fix 64 bit issues