Return to foxc-4