다음은 C언어로 작성된 간단한 프로그램이다. main() { i nt x; d oub le y; x = 1 + 2; y = x + 4. 0; } 주어진 프로그램에 대한 다음 설명 중에서 적절한 것만을 모두 고른 것은? ㄱ. 암묵적인(implicit) 자동 자료형 변환(automatic type conversion)이 수행된다. ㄴ. 타입 오류(type error)가 발생한다. ㄷ. 중복 정의(overload)된 연산자(operator)가 사용 되었다. ㄹ. 정적 자료형 바인딩(static type binding)이 사용 되었다.