void insertAfter(List &L, address Prec, address P) {
    next(P) = next(Prec);
    next(Prec) = P;
}