A small example in ILL translation