程序中已构成如下图所示的不带头结点的单向链表结构，指针变量s、p、q均已正确定义，并用于指向链表结点，指针变量s总是作为头指针指向链表的第一个结点。


若有以下程序段：
q=s; s=s-＞next, p=s;
while(p-＞next) p=p-＞next;
p-＞next=q; q-＞next=NULL;
该程序段实现的功能是( )。

A．void (*pf)(); pf=fun;
B．void *pf(); pf=fun;
C．void*pf();*pf=fun;
D．void(*pf)(int,char);pf=＆fun;

A．75310246
B．13576420
C．76310462
D．13570246