#include <string.h>

int main(void) {
  char str[] = "test";
  return (strlen(str) != 4);
}