Workaround a bug with tail-recursion