// -*- c++ -*-
/* Do not edit! -- generated file */