void main_1() { float x_1 = 0.0f; x_1 = 42.0f; x_1 = 0.0f; return; } void main() { main_1(); return; }