/* This file is generated by Savane, it isn't copyrighable.  */
