TODO:translate needed.
global {} 안에 들어가 있는 RMI 함수들은 일련 값의 RMI ID가 배정됩니다. 물론, 몇몇 RMI 함수들은 귀하가 원하시는 RMI ID값을 가지게 만들 수 있습니다. 아래처럼 [id=xxx] 구문을 사용하면 됩니다.