C++ standalone: push_spikes implemented