Re: [PATCH 0/3] Support intra-function call validation