Generated from c95796275ca6c3a20130fceeed1ba9fd9670de26