Symvex Protocol (SYMVEX)