trang-generated XSDs