// RUN: test.sh -p -t %t %s

// This is an example of a valid invocation of strcat().

#include <string.h>
#include <assert.h>

int main()
{
  char string1[100] = "string1";
  char string2[100] = "string2";
  strcat(&string1[5], &string2[6]);
  assert(strcmp(string1, "string12") == 0);
  return 0;
}