以下程序的输出结果是 【 12 】 。

# include <string.h>

main( )

{ char a[]={'\1', '\2', '\3', '\4', '\0'};

printf("%d ％ d\n",sizeof( a ),srelen( a ));

}