Symbol: patch_exec