(error "Variable binding depth exceeds max-specpdl-size")