let v0 : string = "hott-set-truncation-groupoid-descent"
v0