def demo: .[];