implemented reading/writing sorted map STMX.UTIL:RBMAP and its transactional version STMX.UTIL:TMAP