#lang brag
jsonic-program: (jsonic-char | jsonic-sexp)*
jsonic-char: CHAR-TOK
jsonic-sexp: SEXP-TOK