Is this code ever actually executed?