Use the brand new Slither allocate function

Thanks, @bartbes!