$def with (mainHeader) $mainHeader