#lang brag
start: "\101" ; A
     | "\U0063" ; c
     | "\u64" ; d
     | "\x65" ; e