record types supplied by abstract declarators