where is <code>i</code> defined?