Output File Name Type FSH File Lines Patient-KenyaPatientExample.json KenyaPatientExample Instance examples.fsh 1 - 26 StructureDefinition-kenya-patient.json KenyaPatient Profile profiles.fsh 1 - 32 StructureDefinition-key-population-status-extension.json KeyPopulationStatusExtension Extension profiles.fsh 34 - 41