(header ((h) ihello provides) ((sut) hello_garbage component))
(state ((h)) ((sut)))
test/all/hello_garbage/hello_garbage.dzn:36:1: error: garbage
<match>
(state ((h)) ((sut)))
test/all/hello_garbage/hello_garbage.dzn:36:1: error: garbage
(trail "<match>")
(labels "h.hello")
(eligible)
