Global_value_numbering loading ...