headdef