#6 explicitly casting to UInt32 from NSUInteger