À ma connaissance, ce n'est pas possible.
Non. main__ ## EXPORT donne main__5, pas main__0005. Et main__000 ## EXPORT ne marche pas non plus, ça foire dès que EXPORT vaut au moins 10.
Tu fais ton propre préprocesseur ! ^^
Un "petit" script awk ou Perl devrait faire le preprocessing que tu veux, en effet.