int64 fornext_value6292;
int64 fornext_finalvalue6292;
int64 fornext_step6292;
uint8 fornext_step_negative6292;