int termstr(term t, int n, unsigned short *buffer); term strterm(unsigned short *buffer, unsigned short **rest); unsigned termsize(term t);