Python. Что делает эта строка?
Buf = [0]*K
эквивалентно следующей конструкции:Buf = [0 for i in range(K)]
Т.е. Buf - список, каждый элемент которого - 0.
умножение списка. Сядьте в оболочку и потренируйтесь.... 
>>> dd = [0] * 7
>>> dd
[0, 0, 0, 0, 0, 0, 0]
>>>