char[int len = strlen(s)] pascal_str[0] = len;
int len = strlen(s); char[len] pascal_str; pascal_str[0] = len;
char[(int len = strlen(s)) + 1] pascal_str[0] = len;
int len = strlen(s); char[len + 1] pascal_str; pascal_str[0] = len;