1284.77 SMACC2 상태 정의의 컴파일 타임 검증