TODO(fxbug.dev/32938)
#include <zircon/syscalls.h> zx_status_t zx_syscall_test_wrapper(int32_t a, int32_t b, int32_t c);
TODO(fxbug.dev/32253)