// MACHINE GENERATED - DO NOT EDIT.  (but how is anybody's guess)