int drm_lease(const char *output);
int drm_lease_xserver(const char *output);