static bool listEndsWithList(L a, L b) { ret eq(takeLast_virtual(l(b), a), b); }