Initial submission

This is an initial submission of automatically generated files.  These
will likely change a lot, and should not be used at this point until
these things become more stable.