class_init_section_1(523) == 12868
