default.cc