Code Editor : hamt.h