Use i0 in traversedStrict8
Removed redundant imports for now