Zynthetic Execution