*** WARNING: Files automatically generated -- do not edit!
