/* The content of this file is generated from: