#include "manual.h"
#include <stdalign.h>
#include <stdio.h>
int main() {
printf("%s;%zu;%zu\n", "XfceConsolekitClass", sizeof(XfceConsolekitClass), alignof(XfceConsolekitClass));
printf("%s;%zu;%zu\n", "XfceKioskClass", sizeof(XfceKioskClass), alignof(XfceKioskClass));
printf("%s;%zu;%zu\n", "XfceLicenseTextType", sizeof(XfceLicenseTextType), alignof(XfceLicenseTextType));
printf("%s;%zu;%zu\n", "XfceResourceType", sizeof(XfceResourceType), alignof(XfceResourceType));
printf("%s;%zu;%zu\n", "XfceSystemdClass", sizeof(XfceSystemdClass), alignof(XfceSystemdClass));
return 0;
}