File  getstk.c   Xinu path name  system/getstk.c