Implement labels and goto statement.