* This file is part of Jikes RVM (http://jikesrvm.sourceforge.net).
* The Jikes RVM project is distributed under the Common Public License (CPL).
* A copy of the license is included in the distribution, and is also
* available at http://www.opensource.org/licenses/cpl1.0.php
* (C) Copyright Richard Jones,. University of Kent, 2006
* A testing stub for GCspy
typedef void gcspy_buffered_output_t;
#define gcspy_bufferedOutputGetLen(driver) 1
#endif // _GCSPY_BUFFERED_OUTPUT_H_