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