std::ostream& FOBDD::put(std::ostream& output) const {
	output << print(_kernel);
	pushtab();
	output << "" <<nt();
	output << "FALSE BRANCH:";
	pushtab();
	output << "" <<nt();
	output << print(_falsebranch);
	poptab();
	output << "" <<nt();
	output << "TRUE BRANCH:";
	pushtab();
	output << "" <<nt();
	output << print(_truebranch);
	poptab();
	poptab();
	return output;
}

void SortChecker::put(std::ostream& stream) const {
	pushtab();
	stream << "checker for sort: " << print(_table) << " from " << print(_table->first()) << " until ";
	if (_table->finite()) {
		stream << print(_table->last());
	} else {
		stream << "...";
	}
	poptab();
}

HRESULT __stdcall myIDirectDrawSurface2::SetPalette(LPDIRECTDRAWPALETTE a)
{
  EnterCriticalSection(&gCS);
  logf("myIDirectDrawSurface2::SetPalette(LPDIRECTDRAWPALETTE 0x%x);", a);
  HRESULT x = mOriginal->SetPalette((a)?((myIDirectDrawPalette *)a)->mOriginal:0);
  logfc(" -> return %d\n", x);
  pushtab();
  poptab();
  LeaveCriticalSection(&gCS);
  return x;
}

HRESULT __stdcall myIDirect3DTexture2::PaletteChanged(DWORD a, DWORD b)
{
  EnterCriticalSection(&gCS);
  logf("myIDirect3DTexture2::PaletteChanged(DWORD %d, DWORD %d);", a, b);
  HRESULT x = mOriginal->PaletteChanged(a, b);
  logfc(" -> return %d\n", x);
  pushtab();
  poptab();
  LeaveCriticalSection(&gCS);
  return x;
}

HRESULT __stdcall myIDirect3DMaterial2::GetMaterial(LPD3DMATERIAL a)
{
  EnterCriticalSection(&gCS);
  logf("myIDirect3DMaterial2::GetMaterial(LPD3DMATERIAL 0x%x);", a);
  HRESULT x = mOriginal->GetMaterial(a);
  logfc(" -> return %d\n", x);
  pushtab();
  poptab();
  LeaveCriticalSection(&gCS);
  return x;
}

HRESULT __stdcall myIDirectDraw2::Compact()
{
  EnterCriticalSection(&gCS);
  logf("myIDirectDraw2::Compact();");
  HRESULT x = mOriginal->Compact();
  logfc(" -> return %d\n", x);
  pushtab();
  poptab();
  LeaveCriticalSection(&gCS);
  return x;
}