text: /*===-- strcpy.c ----------------------------------------------------------===//
  //
  //                     The KLEE Symbolic Virtual Machine
  //
  // This file is distributed under the University of Illinois Open Source
  // License. See LICENSE.TXT for details.
  //
  //===----------------------------------------------------------------------===*/
  
  char *strcpy(char *to, const char *from) {
    char *start = to;
  
    while ((*to = *from))
      ++to, ++from;
  
    return start;
  }
  