Automatically generated files (by libOverrider)