#include "/home/drl7x/re/LCLintDev/lib/ansi.h"

void noancopy(/*@unique@*/ char * a, char *b)   {
strcpy (a,b);
}