double hash and adding in dummy_int option