#include<stdlib.h>
#include<string.h>

void main(){
  char* s;
  int len;
  
  s = (char*)malloc(sizeof(char) * 4);
  
  //s[0] = 'a';
  //s[1] = 'b';
  strcpy(s, "abcd");
  int x = strcmp(s, "abcd");
  $assert x==0;
  len = strlen(s);
  $assert len == 4;
  len = strlen(s + 1);
  $assert len == 3;
  free(s);
}