#include<pointer.cvh>

int main(){
  int n = 5;
  char a[n];

  $copy(&a, &("abc"));
  $assert(a[0] == 'a');
}