/* This is a system call. We only have to provide the wrapper. */
int
__getpid (void)
{
return getpid ();
}