69% (18 / 26) src/swhid_types.ml