upgrade aabro (MAX_REPS tribulations)
implement dja_size(), initiate dja_lookup()