1281.41 가드 함수의 결정론적 실행 보장