// Code generated by gen. DO NOT EDIT.

package core