[c] Are types like uint32, int32, uint64, int64 defined in any stdlib header?