-- NOTE: this gets auto-generated