下面代码的输出结果是什么？
#include <stdio.h>

void main()
{
const char* s1 = "0123456789";
char s2[] = "0123456789";
char s3[100] = "0123456789";
char s4[100];
char* s5 = s3;

printf("%d, %d, %d, %d, %d\n", sizeof(s1), sizeof(s2), sizeof(s3), sizeof(s4), sizeof(s5));
}