Do a todo (assert a_start == b_start)
Remove buffer typedef
Possible interface ideas