genspect::tail —
aterm_list tail(aterm_list l, int start);
Return the sublist from start to the end of list l.