stdef