Re: [PATCH 5/5] pesto: Introduce stub configuration interface and tool