Some more tests (with wbyoung).