//@begin auto-generated code
    //@end auto-generated code