idMapHAMT debugged