Interesting. I must confess, I didn't realize there was a way to make syscalls directly from C without resorting to inline assembly.