Higher order testing including int2list