Revert "def.cc"

This reverts commit d95378e250905b2f49c983d3ccf23d4cadcbdfe3.