renamed def.cc -> bloc3.cc