--bos-symbol=442823
--eos-symbol=442824
--brk-symbol=442825