/* Protocol by which libc uses uspace services */