// @(#)$Id: extra.txt,v 1.4 1997/01/10 22:29:41 leavens Exp $

(a)
Specify some other functions from the standard C library for strings.
(See <string.h> in the ANSI C standard.)

(b)
Try to specify strdup without using trait functions that take a state
as an argument.  What goes wrong?

(d)
Write a specification of strdup that signals an exception when memory
cannot be allocated.

(e)
Write a specification of strdup that prints an error message on cerr
when memory cannot be allocated.  You'll have to specify cerr...
unless we've already done that.