Compilation of pusses