void nospace(void); void save_and_reset(term, void *, term *); void *permalloc(unsigned n); void permcopy(term t, term *ans); void permfree(void *);