These files were generated by the [glad](https://github.com/Dav1dde/glad) OpenGL loader generator and have been checked in as-is. You can re-generate them using glad with the following command:

```
python -m glad --profile core --out-path glad/ --api "gl=4.3,gles2=3.2" --generator=c
```