Symbol: exechook_disestablish