: empty; size not if rdrop then ;

: a_type
	"if (!s->elements) return e_underflow; PF_STACK_CHECK1(s, a_" . . "); *--top = s->w.w_int;\n" . ;

: outputargs
	"goto body;\n" . 
	"done:\n" .
	{ "pf_list_push(s, a_" . . ", (word_t)(*top++));\n" . } for-each
	"return e_ok;\n" . ;
: parseargs 
	empty; split ` -- route outputargs 
	a_type parseargs ;
: inargs 
	read size 
	dup "int stack[" . . "];\n" . 
	"int *top = stack + " . . ";\n" . 
	parseargs ;
: def 
	"static PF_FUNCION(" . read . "){\n" . 
	inargs 
	"body:\n" . ;
: done "goto done;\n" . ;

interactive