YAMAMOTO Takashi wrote:

> has this (adding more #ifdef for veriexec) been discussed and/or
> reviewed publicly?

No. However, if someone has any concrete objection, I'd love to hear the
reasons.

> btw, what's the point to distinguish "indirect" from "direct"?

For this case or in general?

-e.

-- 
Elad Efrat