请读程序：
　　# include＜stdio．h＞
　　# include＜string．h＞
　　main( )
　　 char * sl＝"AbCdEf"．* s2＝"aB"；
　　　s1 + + ；s2 + + ；
　　　printf("%d\\n"，strcmp(s1，s2))；
　　)
　　上面程序的输出结果是 ( )

A．char st [4][5]＝"ABCDE"；
B．char s[5]＝'A'，'B'，'C'，'D'，'E'
C．char*s；s＝"ABCDE"；
D．char*s；scanf(”%s”，s)；

A．12
B．15
C．16
D．20