static uint x_1 = 0u; void main_1() { x_1 = 42u; return; } void main() { main_1(); return; }