void processIPC(int, ...); void processRFS(int, ...); void Reader(int, ...); .