An additional question during debugging