Teach loop-idiom about address space pointer sizes