TsctlSystemMapLengthCExamples

System *sys = SystemInit(0);
printf("There are %d mappings.\n",sys->MapLength(sys));