✏️ Editing: uint32.h