/* $Id$ */


extern void core_dump (void);