80 7 define_0.4_a define_0.3_1 int_0.2_0.3 int_0.4_0.2 int_0.5_a mul_1234567890_mul_1234567890_sub_0.5_0.2 return_3120421987