debugs in redbase.cc