Symbol: sunos32_sys_execve