int64 fornext_value6308;
int64 fornext_finalvalue6308;
int64 fornext_step6308;
uint8 fornext_step_negative6308;