serjeancy Petty royal service.