Update 2014-11-27-UndefinedType_u_int.md