this is auto-generated code from the server API.