Edit File: uint32.h