Pretty sure these don't need to be here.

Reasonable sure they're autogenerated.