Implement splice()
replace reinterpreted cast with static cast