public int getHead(int bin) { return m_c.r(4 * (N + bin)); }
public int getNext(int ptr) { return m_c.r(ptr); }
public String getKey(int ptr) { int len = m_c.r(ptr + 8); byte[] bytes = m_c.readbytes(ptr + 12, len); return new String(bytes); }