Initial infrastructure for implementation of hashCode()