-- uint-rename --
cannot rename builtin "int"