Revert "Tidied allmain.c"

This reverts commit 5700370ba125b1069cf82cd0565197e88935fb38.