PROCESS fast_buffer [get, put] : NOEXIT :=
  get ?n: number;
  put !n;
  fast_buffer [get, put]
  ENDPROC (* fast_buffer *)