extern void openSubst(idIT[],uint);
extern void closeSubst(FILE*);
extern void openSubstAssg(idIT);
extern void closeSubstAssg(void);
extern void appendSubstNt(idIT);
extern grmIT liftGrm(grmIT,const idIT[]);
void printSubst(FILE *fd,const idIT subst[]);