int64 fornext_value6152; int64 fornext_finalvalue6152; int64 fornext_step6152; uint8 fornext_step_negative6152;