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