$ cat core.abnf
BIT            =  "0" / "1"
CR             =  %d13
CR             =  %x0D
CR             =  %b1101
CRLF           =  CR LF
LF             =  %x0A