candidate/demangle/eiffel/agent
