// @(#)$Id: new_int.lh,v 1.4 1997/06/03 20:30:15 leavens Exp $
int & new_int() throw();
//@ behavior {
//@   ensures fresh(result);
//@ }

[Index]

HTML generated using lcpp2html.