Compiles sequential proxy