Generated code from  ccfee8345fa3494e6ee715c0514cab42bd0159cb