> > 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.

sprinkle more and more #ifdef is a maintainance headache
esp. for people who are not interested in veriexec.  (like me.)

> > btw, what's the point to distinguish "indirect" from "direct"?
> 
> For this case or in general?

in the design of veriexec.

YAMAMOTO Takashi