以下程序的输出结果是 【 12 】 。
# include <string.h>
main( )
{ char a[]={'\1', '\2', '\3', '\4', '\0'};
printf("%d % d\n",sizeof( a ),srelen( a ));
}