Searching in examples/servicebased.triangle