1  void foo(char **args[], int *argc)
       2  {
       3    *argc = 1;
       4    (*args)[0] = __builtin_malloc(42);
       5  }