Rewrite in one executable for emission