allowing int as keys