SPLICE_INIT
sp->state = SPLICE_INIT;
KASSERT(sp->state == SPLICE_INIT,
if (sp->state == SPLICE_INIT) {
case SPLICE_INIT: