Symbol: mi_syscall_return