Some auto-generated stuff