uintXX_t -> __Ux (with bugs fixed)