No push_back in Real Time

This avoids push_back memory allocations as suggested by @lucamarchionni; although in this case it's only one, the first time is called.