Pavli Compilation