Return to foxc-3