#include <stdio.h>

int main() {
  char a[8] = "STRINGS";
  printf("a = %s", a);
  return 0;
}

a = STRINGS