finish sextion of spec of Bitwalker_Peek