/* Lets see what else we need to do here. Set up sp, gp?  */
void nmi_dump(void)
/* Lets see what else we need to do here. Set up sp, gp?  */
void nmi_dump(void)
{
	void cont_nmi_dump(void);
	cont_nmi_dump();
}