--bos-symbol=231378
--eos-symbol=231379
--brk-symbol=231380