Later code depends on prev_t not being NULL, use an assert()