specdef.cc #1