link image
procedure xmain()
    while line := read() do
	    write(line, ": ", sumnums(line))
end

procedure sumnums(s)
    sum := 0
    s ? while tab(upto(&digits)) do
	    sum +:= integer(tab(many(&digits)))
	return sum
end