more work to make []Val returns compile