Symbol: rumpclient_syscall