Vendo: indirect branch tracking