Compiled Cip's push