goto lab; assert 0; .lab