WINTERMUTE: Replace insert_at with push_back