x0: any = ...