Can you give examples for such (files without def) files?