Export a forgotten symbol

5 jobs for main in 8 minutes and 13 seconds (queued for 9 seconds)