fixed variadic argument binding; better variadic host functions; stack traces and tail depth counting; recursive test and errorF host function.