public function arrayReplaceAt($src, $pos, $newElements)
    {
        if(empty($newElements))$newElements=[];
        return array_merge(array_slice($src, 0, $pos), $newElements, array_slice($src, $pos + 1));
    }