Interestingly, because
while(1) is essentially nothing but a jump destination itself, the main_loop label could as well be inside the loop, after the while!