Generated code from  834b2fafa2c7739cebe543d46039bc30356cf58f