intDef