#lang brag

start: next
next: "0"