proc put_zero_at_beginning( t is array[1..N] of int)

	variable i, i0 are int

	i0 = 1
	for i in range(1,N) do
		if t[i] = 0 then
			swap t[i] with t[i0]
			i0 = i0 + 1
		end if
	end for

end proc