Some hamming_db.py stuff