intermediate variables for debugging :-(