Simpler insertion in hash table.
Merge branch 'master' into linear_allocation