user_debug_team_deleted
void user_debug_team_deleted(team_id teamID, port_id debuggerPort, status_t status,
user_debug_team_deleted(teamID, debuggerPort, exitStatus, signal, &usageInfo);