int main() {
  char s[7] = "blabla";
}