paint (players: ARRAY[PLAYER])

		local
			number: INTEGER
			i: INTEGER
			p: PLAYER

	do
	from
		number := 1
	until
		number > 40
	loop
		i := 1
			from
				p := players [i]
			until
				i > players.upper
			loop
				 if
					p.location.number.is_equal (number)
				then
					io.putstring (i.out)
					i := i+1
				else
					i := i+1
			end

		if
			number \\ 10 = 2
			-- snake tail
		then
			io.put_string ("~|")
			number := number + 1
		elseif
			number \\ 10 = 3
			-- snake middle
		then
			io.put_string ("~$|")
			number := number + 1
		elseif
			number \\ 10 = 4
			-- snake head
		then
			io.put_string ("~|")
			number := number + 1
		elseif
			number \\ 10 = 7
			-- ladder bottom
		then
			io.put_string ("H|")
			number := number + 1
		elseif
			number \\ 10 = 8
			-- ladder middle
		then
			io.put_string ("H#|")
			number := number + 1
		elseif
			number \\ 10 = 9
			-- ladder top
		then
			io.put_string ("H|")
			number := number + 1
		else
			-- all other squares
			io.put_string (" |")
			number := number + 1
		end
	end
	end
end