Hold on, I used the wrong compiler options: the testsuite doesn't use indirect dispatch by default. Now I get the check_pointer_types_r failure too. I'm investigating. Andrew.