hurley25/hurlex — pull request #1 by yan97ao (2014-05-25 15:43:56+00:00)
Title: bug fix: should consider the size of header_t

split时，newchunk区域的长度应该减去自身header_t占用的部分。glue合并时，应该加上释放掉的header_t