Could you use also `core_push` here? Or maybe `push` instead of `core_push` in L446?