source $drc_test_source
target $drc_test_target

if $drc_test_deep
  deep
end

l1 = input(1, 0)
l2 = input(2, 0)
l3 = input(3, 0)

l1.output(1, 0)
l2.output(2, 0)
l3.output(3, 0)

h = l1 - l2
h.with_holes(0).output(100, 0)
h.without_holes(0).output(101, 0)
h.with_holes(3).output(102, 0)
h.with_holes(1..3).output(103, 0)
h.with_holes(1..1).output(104, 0)
h.with_holes(2, nil).output(105, 0)
h.with_holes(0, nil).output(106, 0)
h.with_holes.output(107, 0)
h.without_holes.output(108, 0)