dedefs