first debugging lines...