/* libc style syscall names */