missing hashmap size mirror
Merge branch 'wip-delite-develop' of github.com:TiarkRompf/virtualization-lms-core into wip-delite-develop