>># 
>># Copyright 1990, 1991 by the Massachusetts Institute of Technology and
>># UniSoft Group Limited.
>># 
>># Permission to use, copy, modify, distribute, and sell this software and
>># its documentation for any purpose is hereby granted without fee,
>># provided that the above copyright notice appear in all copies and that
>># both that copyright notice and this permission notice appear in
>># supporting documentation, and that the names of MIT and UniSoft not be
>># used in advertising or publicity pertaining to distribution of the
>># software without specific, written prior permission.  MIT and UniSoft
>># make no representations about the suitability of this software for any
>># purpose.  It is provided "as is" without express or implied warranty.
>># 
>># $XConsortium: prmllc.m,v 1.5 92/06/11 17:38:14 rws Exp $
>># 
>>#
>>TITLE Xpermalloc CH10
>>ASSERTION A Xpermalloc-1
A call to Xpermalloc returns a pointer to a block of memory
size bytes large.
>>STRATEGY
Call Xpermalloc to allocate a block of memory.
Verify that all addresses within the block may be accessed.
>>ASSERTION B Xpermalloc-2
When sufficient temporary storage cannot be allocated, then
a call to Xpermalloc returns NULL.
>>STRATEGY
Report UNTESTED
