@Test
public final void testConvertListOfA1() {

    java.util.List<ABSInteger> rint = 
        Arrays.asList(fromInt(1),fromInt(2),fromInt(3));
    
    List<ABSInteger> lint = 
        cons(1,cons(2,cons(3,new List_Nil<ABSInteger>())));
    
    assertTrue(tutil.equals(INT_COMP,lint,util.convert(rint)));
}