murmur hash must work on 13 bits, int literal was too large