The fork() function in C