PR debug/9963