void func(char *const restrict ary)
{
printf("%s\n",ary);

*(ary + 1) = '\0';

printf("%s\n",ary);

}

int main( int argc, char *argv[] )
{
char ary[] = "hoge";

func(ary);

return 0;
}