Symbol: aui_execve