--bos-symbol=512709
--eos-symbol=512710
--brk-symbol=512711