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