Yv: string = "Invariant failed"