uint32_t find_OSSerializer_serialize(void) {
switch (target_environment) {
case iPhone52_iOS921: return 0x317868;
case iPhone41_iOS931: return 0x31812c;
case iPhone41_iOS932: return 0x318264;
case iPhone41_iOS933: return 0x318388;
case iPhone41_iOS934: return 0x318388;
case iPhone52_iOS932: return 0x31ef58;
case iPhone53_iOS932: return 0x31ef58;
case iPad21_iOS932: return 0x318264;
case iPad22_iOS932: return 0x318264;
case iPad23_iOS932: return 0x318264;
case iPad24_iOS932: return 0x318264;
case iPad23_iOS933: return 0x318388;
case iPad31_iOS934: return 0x318388;
default: abort();
....