assertions for slice length
integrate Buffer class throughout