/* Add 'str' to the buffer. If string is larger than the buffer space, push the string directly to the stack.  */
static void addstr2buff(BuffFS *buff, const char *str, size_t slen)
/* Add 'str' to the buffer. If string is larger than the buffer space, push the string directly to the stack.  */
static void addstr2buff(BuffFS *buff, const char *str, size_t slen)
{
    char *bf = getbuff(buff, cast_int(slen));
    memcpy(bf, str, slen);
    addsize(buff, cast_int(slen));
  }
  else {
    clearbuff(buff);
    pushstr(buff, str, slen);
  }
}