srecord ListAndIndex(L<A> list, int idx) {}