exit_ro_spine
void exit_ro_spine(struct ro_spine *s);
exit_ro_spine(&spine);
exit_ro_spine(&spine);
exit_ro_spine(&spine);
exit_ro_spine(&spine);
exit_ro_spine(&spine);