• allocated : _TidyBuffer
• bp : _TidyBuffer
• eof : _TidyInputSource
• getByte : _TidyInputSource
• next : _TidyBuffer
• putByte : _TidyOutputSink
• sinkData : _TidyOutputSink
• size : _TidyBuffer
• sourceData : _TidyInputSource
• ungetByte : _TidyInputSource