/*
 * playseq.h
 */

#define	STACKSIZE	0x8000

/*
 * ifdef needed because this file is included by "spec"
 */










