Deallocation for the get_temporary_buffer procedure.
template <class T> void return_temporary_buffer(T* p);
The buffer must have been previously allocated by get_temporary_buffer.