y: string = ...