RMI 함수별로 ID를 개별 지정하기

TODO:translate needed.

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

global MedivalWorld 10000
{
Foo([in] int x); // id=10001이 자동 지정
[id=13000] id=Foo2([in] int y); // id=13000으로 강제 지정
}