pushing with precompiling