int i; // #20005