It's certainly simpler if we aren't supplying a header in libc. But I remain unconvinced that it is really worthwhile to give libc stubs for these sorts of calls rather than applications just using syscall.