Actually, addresses are 32bit, so our table is 1K now