The following statement appears in the awkcc source code.

/***
 * Copyright 1987 by AT&T Bell Laboratories.
 * All rights reserved.
 ***/

