Slitherlink

Draw one closed loop · each number says how many of its four edges the loop uses. A pure edge-deduction puzzle