int64 fornext_value6249;
int64 fornext_finalvalue6249;
int64 fornext_step6249;
uint8 fornext_step_negative6249;