// automatically generated by stateify.

package fdchannel