Compilation: Rewrite bulk compilation