IllegalRelease: ERROR = CODE;

IllegalRelease IllegalRelease[][]
   IF obj.type = temp THEN ERROR IllegalRelease[];