class_init_section_1_Int(523) == 12868
