In the following example, if the available state of EVNT is TRUE (available), EVNT is procured by setting its available state to FALSE (not available). Otherwise, the program is suspended until EVNT is made available.

PROCURE(EVNT)

In the following example, if the available state of the event designated by EVNTARAY[INDX] is TRUE (available), then that event is procured by setting its available state to FALSE (not available). Otherwise, the program is suspended until the event designated by EVNTARAY[INDX] is made available.

PROCURE(EVNTARAY[INDX])